Details

Time bar (total: 4.4s)

sample30.0ms

Algorithm
intervals
Results
13.0ms334×body80valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done11
211
110
05

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (+ x 1.0))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
exp-prod *-un-lft-identity add-log-exp
add-sqr-sqrt add-cube-cbrt rem-exp-log
pow1 sum-log add-cbrt-cube exp-sum add-exp-log distribute-lft-out
Counts
1 → 14
Calls
1 calls:
29.0ms
(exp (+ x 1.0))

series36.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(exp (+ x 1.0))

simplify1.1s

Counts
17 → 17
Iterations
IterNodes
done5000
3678
2136
151
028

prune105.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(cbrt (exp (* 3 (+ x 1.0))))
0.0b
(* 3 (+ x 1.0))
0.1b
(exp (* 3 (+ x 1.0)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity
add-cube-cbrt
cbrt-prod pow1 add-cbrt-cube add-exp-log add-log-exp
associate-*r* exp-sum
distribute-rgt-in distribute-lft-in associate-*l*
associate-*r/
exp-prod flip3-+ exp-to-pow pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr rem-exp-log
Counts
3 → 48
Calls
3 calls:
5.0ms
(cbrt (exp (* 3 (+ x 1.0))))
44.0ms
(* 3 (+ x 1.0))
11.0ms
(exp (* 3 (+ x 1.0)))

series341.0ms

Counts
3 → 9
Calls
3 calls:
236.0ms
(cbrt (exp (* 3 (+ x 1.0))))
76.0ms
(* 3 (+ x 1.0))
29.0ms
(exp (* 3 (+ x 1.0)))

simplify1.4s

Counts
57 → 57
Iterations
IterNodes
done5000
2893
1223
089

prune391.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes83.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample787.0ms

Algorithm
intervals
Results
527.0ms10711×body80valid