Details

Time bar (total: 22.4s)

sample154.0ms

Algorithm
intervals
Results
87.0ms651×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (513.0ms)

IterNodesCost
02329
14729
211028
333328
4123027
done500027

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c t) (* i y))
4.8b
(* x (- (* y z) (* t a)))
5.9b
(* b (- (* c z) (* i a)))
6.4b
(* j (- (* c t) (* i y)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
7×sub-neg prod-diff
6×associate-*r/ add-log-exp
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log
Counts
4 → 100
Calls
4 calls:
9.0ms
(- (* c t) (* i y))
32.0ms
(* x (- (* y z) (* t a)))
34.0ms
(* b (- (* c z) (* i a)))
37.0ms
(* j (- (* c t) (* i y)))

series350.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* c t) (* i y))
110.0ms
(* x (- (* y z) (* t a)))
102.0ms
(* b (- (* c z) (* i a)))
95.0ms
(* j (- (* c t) (* i y)))

simplify1.2s

Counts
112 → 112
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02001357
15311338
222781213
done50021195

prune633.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 8.2b

localize50.0ms

Local error

Found 4 expressions with local error:

3.8b
(* z (* b c))
4.8b
(* x (- (* y z) (* t a)))
5.4b
(* b (- (* i a)))
6.4b
(* j (- (* c t) (* i y)))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
13×associate-*r*
12×associate-*l*
11×add-cube-cbrt *-un-lft-identity
6×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u sub-neg associate-*r/ prod-diff *-commutative log1p-expm1-u add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 100
Calls
4 calls:
17.0ms
(* z (* b c))
32.0ms
(* x (- (* y z) (* t a)))
13.0ms
(* b (- (* i a)))
28.0ms
(* j (- (* c t) (* i y)))

series244.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* z (* b c))
91.0ms
(* x (- (* y z) (* t a)))
36.0ms
(* b (- (* i a)))
80.0ms
(* j (- (* c t) (* i y)))

simplify1.2s

Counts
112 → 112
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02011139
15241121
22237998
done5002984

prune776.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 7.0b

localize43.0ms

Local error

Found 4 expressions with local error:

4.8b
(* x (- (* y z) (* t a)))
5.4b
(* b (- (* i a)))
5.7b
(* t (* j c))
6.9b
(* (- (* i y)) j)

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log associate-*l* add-cbrt-cube
13×associate-*r*
11×add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in unswap-sqr
2×distribute-lft-neg-in neg-mul-1 sub-neg distribute-rgt-neg-in associate-*r/ prod-diff
1×distribute-lft-neg-out flip3-- distribute-rgt-neg-out flip--
Counts
4 → 96
Calls
4 calls:
36.0ms
(* x (- (* y z) (* t a)))
14.0ms
(* b (- (* i a)))
17.0ms
(* t (* j c))
12.0ms
(* (- (* i y)) j)

series212.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(* x (- (* y z) (* t a)))
38.0ms
(* b (- (* i a)))
34.0ms
(* t (* j c))
39.0ms
(* (- (* i y)) j)

simplify1.5s

Counts
108 → 108
Iterations

Useful iterations: done (1.5s)

IterNodesCost
0180963
1461941
22275833
done5000825

prune610.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 5.1b

localize39.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* t j) c)
4.8b
(* x (- (* y z) (* t a)))
5.4b
(* b (- (* i a)))
6.9b
(* (- (* i y)) j)

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log associate-*r* add-cbrt-cube
13×associate-*l*
11×add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in unswap-sqr
2×distribute-lft-neg-in neg-mul-1 sub-neg distribute-rgt-neg-in associate-*r/ prod-diff
1×distribute-lft-neg-out flip3-- distribute-rgt-neg-out flip--
Counts
4 → 96
Calls
4 calls:
18.0ms
(* (* t j) c)
34.0ms
(* x (- (* y z) (* t a)))
12.0ms
(* b (- (* i a)))
12.0ms
(* (- (* i y)) j)

series204.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* t j) c)
92.0ms
(* x (- (* y z) (* t a)))
36.0ms
(* b (- (* i a)))
30.0ms
(* (- (* i y)) j)

simplify1.8s

Counts
108 → 108
Iterations

Useful iterations: done (1.8s)

IterNodesCost
0183966
1477942
22743838
done5004836

prune741.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 3.3b

regimes2.0s

Accuracy

24.8% (7.7b remaining)

Error of 10.4b against oracle of 2.7b and baseline of 12.9b

bsearch1.7s

Steps
ItersRangePoint
10
3.0915543265581966e-08
3550.5074864603084
1.5224426453012608e-07
9
1.5537056171806607e-40
2.5175149777733874e-35
1.5692691322601976e-40
11
5.308893079534747e-72
4.946435737714688e-49
4.882729267856999e-49
7
1.0377425262923015e-196
1.0204067337493422e-194
1.4160333975863965e-196
5
3.9402346920126384e-275
9.348727030214268e-275
6.065890939280876e-275
7
-5.1110346536522195e-251
-2.948331970672737e-252
-2.141676771618829e-251
7
-5.016660470632244e+62
-1.1731906030843029e+61
-4.805708302932435e+61

simplify56.0ms

Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
087291
1145288
2181288
3191288
done191288

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.0s19290×body80valid