Details

Time bar (total: 18.9s)

sample193.0ms

Algorithm
intervals
Results
87.0ms620×body80valid
57.0ms655×body80nan

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5001
71998
6735
5247
4112
370
237
117
08

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (fma (log y) y x) z)
0.1b
(exp (- (fma (log y) y x) z))
0.1b
(fma (log y) y x)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
18×prod-diff
17×add-cube-cbrt
12×exp-sum
8×add-log-exp
5×exp-prod
3×expm1-log1p-u pow1 add-cbrt-cube fma-neg add-exp-log fma-udef insert-posit16 log1p-expm1-u
2×sub-neg diff-log associate--l+ distribute-lft-out-- difference-of-squares rem-exp-log
1×flip3-- exp-diff flip--
Counts
3 → 71
Calls
3 calls:
6.0ms
(- (fma (log y) y x) z)
12.0ms
(exp (- (fma (log y) y x) z))
0.0ms
(fma (log y) y x)

series210.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(- (fma (log y) y x) z)
40.0ms
(exp (- (fma (log y) y x) z))
116.0ms
(fma (log y) y x)

simplify2.1s

Counts
80 → 80
Iterations
IterNodes
done5002
32757
2635
1240
0117

prune368.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (log y) y x) z)
0.1b
(exp (- (fma (log y) y x) z))
0.1b
(fma (log y) y x)
0.1b
(expm1 (log1p (exp (- (fma (log y) y x) z))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
18×prod-diff add-cube-cbrt
12×exp-sum
9×add-log-exp
5×exp-prod
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×fma-neg fma-udef
2×sub-neg diff-log associate--l+ distribute-lft-out-- difference-of-squares rem-exp-log
1×expm1-log1p flip3-- exp-diff flip-- expm1-udef
Counts
4 → 83
Calls
4 calls:
8.0ms
(- (fma (log y) y x) z)
16.0ms
(exp (- (fma (log y) y x) z))
0.0ms
(fma (log y) y x)
0.0ms
(expm1 (log1p (exp (- (fma (log y) y x) z))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(- (fma (log y) y x) z)
43.0ms
(exp (- (fma (log y) y x) z))
85.0ms
(fma (log y) y x)
58.0ms
(expm1 (log1p (exp (- (fma (log y) y x) z))))

simplify1.7s

Counts
95 → 95
Iterations
IterNodes
done5025
32783
2680
1253
0129

prune452.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp (* 3 (- (fma y (log y) x) z))))
0.1b
(fma y (log y) x)
0.1b
(* 3 (- (fma y (log y) x) z))
0.1b
(exp (* 3 (- (fma y (log y) x) z)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
54×prod-diff
48×exp-sum
47×add-sqr-sqrt
45×*-un-lft-identity
43×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in
27×cbrt-prod
7×fma-udef
6×pow1 sub-neg add-cbrt-cube associate--l+ add-exp-log add-log-exp
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*l*
2×associate-*r/
1×exp-prod flip3-- exp-to-pow pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod flip-- distribute-lft-out-- difference-of-squares unswap-sqr rem-exp-log
Counts
4 → 135
Calls
4 calls:
6.0ms
(cbrt (exp (* 3 (- (fma y (log y) x) z))))
0.0ms
(fma y (log y) x)
27.0ms
(* 3 (- (fma y (log y) x) z))
8.0ms
(exp (* 3 (- (fma y (log y) x) z)))

series279.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(cbrt (exp (* 3 (- (fma y (log y) x) z))))
102.0ms
(fma y (log y) x)
70.0ms
(* 3 (- (fma y (log y) x) z))
50.0ms
(exp (* 3 (- (fma y (log y) x) z)))

simplify2.5s

Counts
147 → 147
Iterations
IterNodes
done5000
34390
21141
1473
0232

prune540.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (log y) x)
0.1b
(pow (exp (* 3 (- (fma y (log y) x) z))) 1/3)
0.1b
(* 3 (- (fma y (log y) x) z))
0.1b
(exp (* 3 (- (fma y (log y) x) z)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
54×prod-diff
48×add-sqr-sqrt exp-sum
46×*-un-lft-identity
44×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in
27×unpow-prod-down
7×pow1 fma-udef add-log-exp
6×sub-neg add-cbrt-cube associate--l+ add-exp-log
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×pow-unpow pow-pow associate-*l*
2×exp-prod exp-to-pow associate-*r/
1×pow-to-exp flip3-- unpow1/3 pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod flip-- distribute-lft-out-- difference-of-squares unswap-sqr sqr-pow rem-exp-log
Counts
4 → 144
Calls
4 calls:
0.0ms
(fma y (log y) x)
14.0ms
(pow (exp (* 3 (- (fma y (log y) x) z))) 1/3)
18.0ms
(* 3 (- (fma y (log y) x) z))
8.0ms
(exp (* 3 (- (fma y (log y) x) z)))

series296.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(fma y (log y) x)
67.0ms
(pow (exp (* 3 (- (fma y (log y) x) z))) 1/3)
68.0ms
(* 3 (- (fma y (log y) x) z))
55.0ms
(exp (* 3 (- (fma y (log y) x) z)))

simplify1.5s

Counts
156 → 156
Iterations
IterNodes
done5003
21775
1677
0249

prune488.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes116.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done16
116
014

end0.0ms

sample4.8s

Algorithm
intervals
Results
1.7s18878×body80valid
1.5s18929×body80nan