Details

Time bar (total: 21.9s)

sample126.0ms

Algorithm
intervals
Results
60.0ms576×body80valid
27.0ms558×body80nan

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
done5001
71814
6629
5219
494
357
233
117
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y (log y)))
0.0b
(exp (- (+ x (* y (log y))) z))
0.3b
(* y (log y))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×log-prod *-un-lft-identity
11×add-log-exp
10×add-cube-cbrt
6×distribute-rgt-in pow1 associate-+r+ distribute-lft-in
5×exp-prod add-cbrt-cube add-exp-log
4×associate-*r*
3×associate-*l* exp-sum insert-posit16 rem-exp-log
2×sum-log diff-log
1×+-commutative sub-neg flip3-+ exp-diff pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 64
Calls
3 calls:
13.0ms
(+ x (* y (log y)))
102.0ms
(exp (- (+ x (* y (log y))) z))
17.0ms
(* y (log y))

series450.0ms

Counts
3 → 9
Calls
3 calls:
93.0ms
(+ x (* y (log y)))
57.0ms
(exp (- (+ x (* y (log y))) z))
300.0ms
(* y (log y))

simplify2.2s

Counts
73 → 73
Iterations
IterNodes
done5000
31964
2546
1240
0114

prune378.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (log y) y) (- z x))
0.0b
(exp (- (* (log y) y) (- z x)))
0.3b
(* (log y) y)

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
8×add-sqr-sqrt
6×pow1 *-un-lft-identity diff-log add-cube-cbrt
5×add-cbrt-cube add-exp-log
4×associate-*l*
3×exp-prod sub-neg associate-*r* exp-sum insert-posit16 rem-exp-log
2×associate--r+ associate--r-
1×flip3-- exp-diff pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 55
Calls
3 calls:
27.0ms
(- (* (log y) y) (- z x))
88.0ms
(exp (- (* (log y) y) (- z x)))
16.0ms
(* (log y) y)

series342.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(- (* (log y) y) (- z x))
39.0ms
(exp (- (* (log y) y) (- z x)))
254.0ms
(* (log y) y)

simplify2.2s

Counts
64 → 64
Iterations
IterNodes
done5002
32488
2621
1218
096

prune231.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
29.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.5s

Counts
4 → 12
Calls
4 calls:
639.0ms
(* (cbrt y) (cbrt y))
228.0ms
(cbrt y)
281.0ms
(cbrt y)
361.0ms
(cbrt y)

simplify3.3s

Counts
89 → 89
Iterations
IterNodes
done5001
43895
31039
2380
1138
063

prune431.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y (log y)))
0.1b
(exp (+ x (* y (log y))))
0.3b
(* y (log y))
0.5b
(/ (exp (+ x (* y (log y)))) (exp z))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
20×add-cube-cbrt
12×log-prod times-frac
9×add-log-exp
8×add-cbrt-cube
7×pow1
6×distribute-rgt-in associate-+r+ distribute-lft-in add-exp-log
5×exp-prod exp-sum
4×associate-*r* insert-posit16 associate-/l*
3×associate-/r* associate-*l*
2×sum-log rem-exp-log
1×cbrt-undiv +-commutative clear-num frac-2neg flip3-+ div-exp pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-+ div-inv unswap-sqr pow-div
Counts
4 → 91
Calls
4 calls:
7.0ms
(+ x (* y (log y)))
12.0ms
(exp (+ x (* y (log y))))
12.0ms
(* y (log y))
28.0ms
(/ (exp (+ x (* y (log y)))) (exp z))

series393.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(+ x (* y (log y)))
22.0ms
(exp (+ x (* y (log y))))
238.0ms
(* y (log y))
47.0ms
(/ (exp (+ x (* y (log y)))) (exp z))

simplify2.0s

Counts
103 → 103
Iterations
IterNodes
done5092
32888
2763
1310
0149

prune423.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes330.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
done13
113
011

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.4s19061×body80valid
1.3s18912×body80nan