Details

Time bar (total: 29.7s)

sample234.0ms

Algorithm
intervals
Results
88.0ms240×body80nan
51.0ms59×body640valid
32.0ms41×body320valid
24.0ms132×body80valid
12.0ms24×body160valid

simplify2.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
done55

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.3b

localize16.0ms

Local error

Found 3 expressions with local error:

0.1b
(sin (cos (tan (sqrt x))))
0.4b
(cos (tan (sqrt x)))
26.9b
(tan (sqrt x))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
tan-quot
Counts
3 → 22
Calls
3 calls:
37.0ms
(sin (cos (tan (sqrt x))))
18.0ms
(cos (tan (sqrt x)))
7.0ms
(tan (sqrt x))

series8.2s

Counts
3 → 9
Calls
3 calls:
5.5s
(sin (cos (tan (sqrt x))))
2.0s
(cos (tan (sqrt x)))
590.0ms
(tan (sqrt x))

simplify2.8s

Counts
31 → 31
Iterations

Useful iterations: 2 (889.0ms)

IterNodesCost
02041435
16141383
237401334
done50021334

prune340.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 26.3b

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b
(cos (cbrt (pow (tan (sqrt x)) 3)))
0.6b
(pow (tan (sqrt x)) 3)
10.7b
(cbrt (pow (tan (sqrt x)) 3))
26.9b
(tan (sqrt x))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
unpow-prod-down cube-prod
pow1 add-cbrt-cube add-exp-log
add-log-exp
pow-unpow tan-quot
cube-div cube-mult unpow3 sqr-pow
pow-to-exp cbrt-div pow-pow pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 61
Calls
4 calls:
29.0ms
(cos (cbrt (pow (tan (sqrt x)) 3)))
10.0ms
(pow (tan (sqrt x)) 3)
8.0ms
(cbrt (pow (tan (sqrt x)) 3))
18.0ms
(tan (sqrt x))

series4.7s

Counts
4 → 12
Calls
4 calls:
2.1s
(cos (cbrt (pow (tan (sqrt x)) 3)))
1.5s
(pow (tan (sqrt x)) 3)
584.0ms
(cbrt (pow (tan (sqrt x)) 3))
575.0ms
(tan (sqrt x))

simplify2.9s

Counts
73 → 73
Iterations

Useful iterations: 2 (819.0ms)

IterNodesCost
01911586
15811361
233181287
done50001287

prune451.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 26.3b

regimes856.0ms

Accuracy

0% (0.0b remaining)

Error of 26.6b against oracle of 26.6b and baseline of 26.6b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01316
11416
done1416

end0.0ms

sample9.2s

Algorithm
intervals
Results
2.7s1335×body320valid
2.1s1906×body640valid
2.0s7966×body80nan
1.2s4118×body80valid
431.0ms641×body160valid