Details

Time bar (total: 23.9s)

sample76.0ms

Algorithm
intervals
Results
49.0ms471×body80valid

simplify93.0ms

Counts
1 → 1
Iterations
IterNodes
done156
5156
4154
3118
262
127
015

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x y (* z t))
0.0b
(fma a b (fma x y (* z t)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
2 → 22
Calls
2 calls:
0.0ms
(fma x y (* z t))
0.0ms
(fma a b (fma x y (* z t)))

series149.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(fma x y (* z t))
99.0ms
(fma a b (fma x y (* z t)))

simplify1.2s

Counts
28 → 28
Iterations
IterNodes
done5001
3700
2128
147
035

prune235.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma a b (fma x y (* z t)))
0.1b
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
0.3b
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
39.3b
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1
12×add-sqr-sqrt
11×add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×pow-plus pow-prod-up
6×associate-*r*
5×fma-udef
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow2 swap-sqr pow-sqr
2×distribute-rgt-in distribute-lft-in pow3 *-commutative unswap-sqr
1×cbrt-prod pow1/3 rem-cbrt-cube
Counts
4 → 87
Calls
4 calls:
0.0ms
(fma a b (fma x y (* z t)))
15.0ms
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
9.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
22.0ms
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))

series4.7s

Counts
4 → 12
Calls
4 calls:
87.0ms
(fma a b (fma x y (* z t)))
3.9s
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
603.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
104.0ms
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))

simplify1.9s

Counts
99 → 99
Iterations
IterNodes
done5002
21755
1273
0111

prune824.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))
7.0b
(+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t))))
8.4b
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b))
39.3b
(cbrt (+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
11×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt add-log-exp
4×cbrt-prod expm1-log1p-u associate-*r* fma-udef insert-posit16 log1p-expm1-u
2×distribute-rgt-in cbrt-div associate-+r+ distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out
1×+-commutative sum-log fma-def pow1/3 unswap-sqr
Counts
4 → 84
Calls
4 calls:
31.0ms
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))
45.0ms
(+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t))))
23.0ms
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b))
43.0ms
(cbrt (+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))))

series7.8s

Counts
4 → 12
Calls
4 calls:
2.2s
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))
4.3s
(+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t))))
708.0ms
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b))
556.0ms
(cbrt (+ (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (* a b)) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma x y (* z t)))))

simplify2.4s

Counts
96 → 96
Iterations
IterNodes
done5000
23340
1562
0187

prune831.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes584.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
113
012

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.9s13838×body80valid