Details

Time bar (total: 21.2s)

sample101.0ms

Algorithm
intervals
Results
48.0ms442×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
53501
4954
3258
287
133
018

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.6b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma t z (* y x)) (* i (* (fma b c a) c)))
0.0b
(fma t z (* y x))
0.1b
(* (fma b c a) c)
6.0b
(* i (* (fma b c a) c))

rewrite39.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
895.0ms
(- (fma t z (* y x)) (* i (* (fma b c a) c)))
69.0ms
(fma t z (* y x))
60.0ms
(* (fma b c a) c)
66.0ms
(* i (* (fma b c a) c))

simplify1.0s

Counts
83 → 83
Iterations
IterNodes
done5000
21136
1254
0116

prune849.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

6.0b
(* i (* (fma b c a) c))
11.0b
(cbrt (* i (* (fma b c a) c)))
11.0b
(cbrt (* i (* (fma b c a) c)))
11.0b
(cbrt (* i (* (fma b c a) c)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 53
Calls
4 calls:
13.0ms
(* i (* (fma b c a) c))
13.0ms
(cbrt (* i (* (fma b c a) c)))
17.0ms
(cbrt (* i (* (fma b c a) c)))
17.0ms
(cbrt (* i (* (fma b c a) c)))

series773.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* i (* (fma b c a) c))
213.0ms
(cbrt (* i (* (fma b c a) c)))
247.0ms
(cbrt (* i (* (fma b c a) c)))
232.0ms
(cbrt (* i (* (fma b c a) c)))

simplify1.2s

Counts
65 → 65
Iterations
IterNodes
done5000
2749
1210
087

prune907.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize101.0ms

Local error

Found 4 expressions with local error:

6.0b
(* i (* (fma b c a) c))
11.0b
(cbrt (* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c))))
11.0b
(cbrt (* i (* (fma b c a) c)))
11.0b
(cbrt (* i (* (fma b c a) c)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 53
Calls
4 calls:
27.0ms
(* i (* (fma b c a) c))
59.0ms
(cbrt (* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c))))
10.0ms
(cbrt (* i (* (fma b c a) c)))
17.0ms
(cbrt (* i (* (fma b c a) c)))

series812.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(* i (* (fma b c a) c))
265.0ms
(cbrt (* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c))))
240.0ms
(cbrt (* i (* (fma b c a) c)))
224.0ms
(cbrt (* i (* (fma b c a) c)))

simplify1.4s

Counts
65 → 65
Iterations
IterNodes
done5000
2812
1236
0104

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

6.0b
(* i (* (* (cbrt (* (fma b c a) c)) (cbrt (* (fma b c a) c))) (cbrt (* (fma b c a) c))))
12.1b
(cbrt (* (fma b c a) c))
12.1b
(cbrt (* (fma b c a) c))
12.1b
(cbrt (* (fma b c a) c))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log
9×add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l*
1×associate-*r* *-commutative
Counts
4 → 56
Calls
4 calls:
84.0ms
(* i (* (* (cbrt (* (fma b c a) c)) (cbrt (* (fma b c a) c))) (cbrt (* (fma b c a) c))))
6.0ms
(cbrt (* (fma b c a) c))
7.0ms
(cbrt (* (fma b c a) c))
7.0ms
(cbrt (* (fma b c a) c))

series919.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(* i (* (* (cbrt (* (fma b c a) c)) (cbrt (* (fma b c a) c))) (cbrt (* (fma b c a) c))))
285.0ms
(cbrt (* (fma b c a) c))
198.0ms
(cbrt (* (fma b c a) c))
300.0ms
(cbrt (* (fma b c a) c))

simplify1.5s

Counts
68 → 68
Iterations
IterNodes
done5000
2884
1271
0110

prune807.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes1.6s

Accuracy

79.1% (1.3b remaining)

Error of 1.7b against oracle of 0.4b and baseline of 6.6b

bsearch216.0ms

Steps
ItersRangePoint
7
2.5111870796824253e+39
5.193672944197393e+40
1.5715355264021135e+40
8
-2.1506021281628998e+80
-6.612218370617264e+76
-8.327975069112873e+76

simplify11.0ms

Iterations
IterNodes
done56
156
042

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.6s14991×body80valid