Details

Time bar (total: 25.5s)

sample175.0ms

Algorithm
intervals
Results
98.0ms560×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
41194
3333
2110
147
023

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* a c) (* y i))
4.1b
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
4.6b
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
5.9b
(* (fma (- a) t (* z y)) x)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* associate-*l*
2×fma-udef
1×sub-neg flip3-- fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 56
Calls
4 calls:
6.0ms
(- (* a c) (* y i))
0.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
0.0ms
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
9.0ms
(* (fma (- a) t (* z y)) x)

series1.3s

Counts
4 → 12
Calls
4 calls:
73.0ms
(- (* a c) (* y i))
809.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
310.0ms
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
83.0ms
(* (fma (- a) t (* z y)) x)

simplify1.9s

Counts
68 → 68
Iterations
IterNodes
done5000
33879
2746
1251
0113

prune1.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.8b

localize50.0ms

Local error

Found 4 expressions with local error:

1.8b
(* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x))
3.6b
(* (fma t (- a) (* z y)) (cbrt x))
4.1b
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x))))
4.6b
(fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*r*
11×pow1 add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×cbrt-prod add-cbrt-cube
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×*-commutative fma-udef unswap-sqr
Counts
4 → 67
Calls
4 calls:
17.0ms
(* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x))
7.0ms
(* (fma t (- a) (* z y)) (cbrt x))
0.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x))))
0.0ms
(fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x)))

series1.9s

Counts
4 → 12
Calls
4 calls:
380.0ms
(* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x))
237.0ms
(* (fma t (- a) (* z y)) (cbrt x))
889.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x))))
422.0ms
(fma b (fma i t (- (* z c))) (* (* (* (fma t (- a) (* z y)) (cbrt x)) (cbrt x)) (cbrt x)))

simplify830.0ms

Counts
79 → 79
Iterations
IterNodes
done5002
21487
1334
0141

prune1.0s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.3b

localize91.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma t (- a) (* z y))))))
7.6b
(cbrt (fma (- a) t (* z y)))
7.6b
(cbrt (fma (- a) t (* z y)))
7.6b
(cbrt (fma t (- a) (* z y)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma t (- a) (* z y))))))
1.0ms
(cbrt (fma (- a) t (* z y)))
1.0ms
(cbrt (fma (- a) t (* z y)))
15.0ms
(cbrt (fma t (- a) (* z y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
522.0ms
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma t (- a) (* z y))))))
231.0ms
(cbrt (fma (- a) t (* z y)))
218.0ms
(cbrt (fma (- a) t (* z y)))
228.0ms
(cbrt (fma t (- a) (* z y)))

simplify870.0ms

Counts
61 → 61
Iterations
IterNodes
done5002
31574
2457
1201
0101

prune948.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 6.3b

localize43.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (fma (- a) t (* z y)) x)
5.9b
(cbrt (fma (- y) i (* a c)))
5.9b
(cbrt (fma (- y) i (* a c)))
5.9b
(cbrt (fma (- y) i (* a c)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 59
Calls
4 calls:
5.0ms
(* (fma (- a) t (* z y)) x)
1.0ms
(cbrt (fma (- y) i (* a c)))
1.0ms
(cbrt (fma (- y) i (* a c)))
1.0ms
(cbrt (fma (- y) i (* a c)))

series806.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (fma (- a) t (* z y)) x)
241.0ms
(cbrt (fma (- y) i (* a c)))
248.0ms
(cbrt (fma (- y) i (* a c)))
207.0ms
(cbrt (fma (- y) i (* a c)))

simplify1.6s

Counts
71 → 71
Iterations
IterNodes
done5001
33087
2539
1198
097

prune933.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 6.3b

regimes2.5s

Accuracy

-11.5% (6.9b remaining)

Error of 13.3b against oracle of 6.5b and baseline of 12.6b

bsearch226.0ms

Steps
ItersRangePoint
5
3.3897720836934804e-192
7.104825374000187e-192
4.396813432291647e-192
6
-1.7637736695209613e-43
-2.662901856082366e-44
-2.7115791014226748e-44

simplify17.0ms

Iterations
IterNodes
done73
273
171
055

end0.0ms

sample5.9s

Algorithm
intervals
Results
3.9s18711×body80valid