Details

Time bar (total: 15.4s)

sample19.0ms

Algorithm
intervals
Results
7.0ms293×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5001
81908
7651
6240
5102
473
344
222
111
06

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 1 expressions with local error:

3.9b
(fma (- x) (/ z y) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (- x) (/ z y) x)

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(fma (- x) (/ z y) x)

simplify1.0s

Counts
13 → 13
Iterations
IterNodes
done5001
41009
3190
262
131
019

prune88.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (fma (- x) (/ z y) x)) (cbrt (fma (- x) (/ z y) x)))
3.9b
(fma (- x) (/ z y) x)
3.9b
(fma (- x) (/ z y) x)
3.9b
(fma (- x) (/ z y) x)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×cbrt-prod
12×*-un-lft-identity add-cube-cbrt
11×pow1
6×pow1/3 swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
3×fma-udef
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 72
Calls
4 calls:
12.0ms
(* (cbrt (fma (- x) (/ z y) x)) (cbrt (fma (- x) (/ z y) x)))
1.0ms
(fma (- x) (/ z y) x)
1.0ms
(fma (- x) (/ z y) x)
1.0ms
(fma (- x) (/ z y) x)

series422.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(* (cbrt (fma (- x) (/ z y) x)) (cbrt (fma (- x) (/ z y) x)))
53.0ms
(fma (- x) (/ z y) x)
54.0ms
(fma (- x) (/ z y) x)
52.0ms
(fma (- x) (/ z y) x)

simplify3.8s

Counts
84 → 84
Iterations
IterNodes
done5001
33803
2625
1185
087

prune580.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (fabs (cbrt (fma (/ (- x) y) z x))) (fabs (cbrt (fma (/ (- x) y) z x))))
3.9b
(fma (- x) (/ z y) x)
4.9b
(fma (/ (- x) y) z x)
4.9b
(fma (/ (- x) y) z x)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×swap-sqr associate-*r* associate-*l* fma-udef
1×pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 57
Calls
4 calls:
13.0ms
(* (fabs (cbrt (fma (/ (- x) y) z x))) (fabs (cbrt (fma (/ (- x) y) z x))))
1.0ms
(fma (- x) (/ z y) x)
1.0ms
(fma (/ (- x) y) z x)
1.0ms
(fma (/ (- x) y) z x)

series250.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (fabs (cbrt (fma (/ (- x) y) z x))) (fabs (cbrt (fma (/ (- x) y) z x))))
64.0ms
(fma (- x) (/ z y) x)
75.0ms
(fma (/ (- x) y) z x)
83.0ms
(fma (/ (- x) y) z x)

simplify843.0ms

Counts
69 → 69
Iterations
IterNodes
done5000
2913
1152
069

prune472.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

3.9b
(fma (- x) (/ z y) x)
3.9b
(fma (- x) (/ z y) x)
3.9b
(fma (- x) (/ z y) x)
3.9b
(fma (- x) (/ z y) x)

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)

series196.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(fma (- x) (/ z y) x)
60.0ms
(fma (- x) (/ z y) x)
48.0ms
(fma (- x) (/ z y) x)
41.0ms
(fma (- x) (/ z y) x)

simplify1.2s

Counts
52 → 52
Iterations
IterNodes
done5001
41009
3190
262
131
019

prune408.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes455.0ms

Accuracy

78% (0.7b remaining)

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

bsearch2.0ms

simplify3.4s

Iterations
IterNodes
done5000
154917
142029
131301
12573
11385
10197
9144
891
771
656
543
437
334
228
125
021

end0.0ms

sample733.0ms

Algorithm
intervals
Results
389.0ms9589×body80valid