Details

Time bar (total: 25.0s)

sample75.0ms

Algorithm
intervals
Results
36.0ms492×body80valid

simplify5.3s

Counts
1 → 1
Iterations
IterNodes
done5000
64736
52602
4911
3255
286
133
018

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite38.0ms

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

series963.0ms

Counts
3 → 9
Calls
3 calls:
844.0ms
(- (fma t z (* y x)) (* i (* (fma b c a) c)))
50.0ms
(* (fma b c a) c)
68.0ms
(* i (* (fma b c a) c))

simplify3.8s

Counts
70 → 70
Iterations
IterNodes
done5000
34678
2833
1245
0110

prune686.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

5.3b
(* i (* (fma b c a) c))
11.4b
(cbrt (* i (* (fma b c a) c)))
11.4b
(cbrt (* i (* (fma b c a) c)))
11.4b
(cbrt (* i (* (fma b c a) c)))

rewrite62.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:
20.0ms
(* i (* (fma b c a) c))
13.0ms
(cbrt (* i (* (fma b c a) c)))
8.0ms
(cbrt (* i (* (fma b c a) c)))
19.0ms
(cbrt (* i (* (fma b c a) c)))

series526.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* i (* (fma b c a) c))
174.0ms
(cbrt (* i (* (fma b c a) c)))
148.0ms
(cbrt (* i (* (fma b c a) c)))
148.0ms
(cbrt (* i (* (fma b c a) c)))

simplify1.8s

Counts
65 → 65
Iterations
IterNodes
done5002
32491
2620
1210
087

prune630.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt i)
0.6b
(cbrt i)
2.7b
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c)))
2.8b
(* (cbrt i) (* (fma b c a) c))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
18×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 associate-*r* *-commutative
Counts
4 → 79
Calls
4 calls:
1.0ms
(cbrt i)
2.0ms
(cbrt i)
54.0ms
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c)))
25.0ms
(* (cbrt i) (* (fma b c a) c))

series838.0ms

Counts
4 → 12
Calls
4 calls:
252.0ms
(cbrt i)
233.0ms
(cbrt i)
113.0ms
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* (fma b c a) c)))
239.0ms
(* (cbrt i) (* (fma b c a) c))

simplify1.7s

Counts
91 → 91
Iterations
IterNodes
done5001
21028
1284
0106

prune698.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite123.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:
110.0ms
(* i (* (* (cbrt (* (fma b c a) c)) (cbrt (* (fma b c a) c))) (cbrt (* (fma b c a) c))))
4.0ms
(cbrt (* (fma b c a) c))
4.0ms
(cbrt (* (fma b c a) c))
4.0ms
(cbrt (* (fma b c a) c))

series549.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(* i (* (* (cbrt (* (fma b c a) c)) (cbrt (* (fma b c a) c))) (cbrt (* (fma b c a) c))))
138.0ms
(cbrt (* (fma b c a) c))
144.0ms
(cbrt (* (fma b c a) c))
179.0ms
(cbrt (* (fma b c a) c))

simplify2.1s

Counts
68 → 68
Iterations
IterNodes
done5003
32318
2753
1269
0110

prune692.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes1.2s

Accuracy

92.9% (0.4b remaining)

Error of 1.4b against oracle of 1.1b and baseline of 6.1b

bsearch150.0ms

Steps
ItersRangePoint
9
121699369396.6964
3.00489657810664e+20
951568508819.6107
3
-1.5995970227990793e+52
-1.171976645600967e+52
-1.2882242351812776e+52

simplify10.0ms

Iterations
IterNodes
done37
137
027

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.9s15237×body80valid