Details

Time bar (total: 16.3s)

sample73.0ms

Algorithm
intervals
Results
37.0ms577×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 4 (97.0ms)

IterNodesCost
02329
14729
211028
329228
482527
5256827
done500027

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.5b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

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

series949.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (* y z) (* t a))
606.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a)))))
76.0ms
(* x (- (* y z) (* t a)))
228.0ms
(fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a))))

simplify868.0ms

Counts
76 → 76
Iterations

Useful iterations: done (865.0ms)

IterNodesCost
01201239
12631222
26881071
321621071
done50001068

prune433.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 7.1b

localize28.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (+ (* (* y z) x) (- (* t (* x a))))))
5.6b
(fma j (- (* c a) (* y i)) (+ (* (* y z) x) (- (* t (* x a)))))
6.2b
(* (* y z) x)
6.5b
(* t (* x a))

rewrite15.0ms

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

series889.0ms

Counts
4 → 12
Calls
4 calls:
606.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (+ (* (* y z) x) (- (* t (* x a))))))
232.0ms
(fma j (- (* c a) (* y i)) (+ (* (* y z) x) (- (* t (* x a)))))
24.0ms
(* (* y z) x)
27.0ms
(* t (* x a))

simplify2.0s

Counts
72 → 72
Iterations

Useful iterations: 3 (677.0ms)

IterNodesCost
01201051
12651015
2907859
33072819
done5001819

prune372.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.5b

localize28.0ms

Local error

Found 4 expressions with local error:

4.6b
(* y (* z x))
4.6b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a))))))
5.6b
(fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a)))))
6.5b
(* t (* x a))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×associate-*r* *-commutative fma-udef
Counts
4 → 60
Calls
4 calls:
6.0ms
(* y (* z x))
0.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a))))))
0.0ms
(fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a)))))
6.0ms
(* t (* x a))

series882.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* y (* z x))
610.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a))))))
222.0ms
(fma j (- (* c a) (* y i)) (+ (* y (* z x)) (- (* t (* x a)))))
26.0ms
(* t (* x a))

simplify1.7s

Counts
72 → 72
Iterations

Useful iterations: 3 (330.0ms)

IterNodesCost
01171048
12551014
2798852
32583812
done5001812

prune360.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.5b

localize30.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (cbrt x) (- (* y z) (* t a)))
4.3b
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
4.6b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))))
5.6b
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
15×distribute-rgt-in distribute-lft-in
11×add-sqr-sqrt add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
7×add-cube-cbrt *-un-lft-identity associate-*l*
6×sub-neg associate-*r/ prod-diff
4×cbrt-prod expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
2×flip3-- *-commutative flip-- fma-udef unswap-sqr
Counts
4 → 90
Calls
4 calls:
12.0ms
(* (cbrt x) (- (* y z) (* t a)))
27.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
0.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))))
0.0ms
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
293.0ms
(* (cbrt x) (- (* y z) (* t a)))
110.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
648.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))))
268.0ms
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))))

simplify728.0ms

Counts
102 → 102
Iterations

Useful iterations: 2 (153.0ms)

IterNodesCost
01702229
14302204
215381644
done50001644

prune481.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.5b

regimes732.0ms

Accuracy

15.5% (6.7b remaining)

Error of 11.4b against oracle of 4.7b and baseline of 12.6b

bsearch171.0ms

Steps
ItersRangePoint
7
7.687414289268223e-94
1.3448630526527464e-92
1.402416700840359e-93
6
-6.450674122671063e-236
-1.3223561745105354e-236
-4.1241793159774735e-236

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
038100
15467
done5467

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s18884×body80valid