Details

Time bar (total: 36.0s)

sample48.0ms

Algorithm
intervals
Results
29.0ms329×body80valid

simplify21.7s

Counts
1 → 1
Iterations
IterNodes
done5000
1084992
1074960
1064928
1054896
1044864
1034832
1024800
1014768
1004736
994704
984672
974640
964608
954576
944544
934512
924480
914448
904416
894384
884352
874320
864288
854256
844224
834192
824160
814128
804096
794064
784032
774000
763968
753936
743904
733872
723840
713808
703776
693744
683712
673680
663648
653616
643584
633552
623520
613488
603456
593424
583392
573360
563328
553296
543264
533232
523200
513168
503136
493104
483072
473040
463008
452976
442944
432912
422880
412848
402816
392784
382752
372720
362688
352656
342624
332592
322560
312528
302496
292464
282432
272400
262368
252336
242304
232272
222240
212208
202176
192144
182112
172080
162048
152016
141984
131952
121920
111888
101788
91575
81278
71023
6566
5270
4153
371
232
116
09

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- t z) a)
4.2b
(fma (/ (- t z) a) y x)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
3×associate-/r*
2×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp fma-udef div-inv flip--
Counts
2 → 52
Calls
2 calls:
20.0ms
(/ (- t z) a)
0.0ms
(fma (/ (- t z) a) y x)

series121.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(/ (- t z) a)
72.0ms
(fma (/ (- t z) a) y x)

simplify1.3s

Counts
58 → 58
Iterations
IterNodes
done5000
31371
2458
1201
097

prune314.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t z) a)
0.0b
(+ (* (/ (- t z) a) y) x)
5.3b
(* (/ (- t z) a) y)

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
37×*-un-lft-identity
31×times-frac
23×add-cube-cbrt
19×associate-*l*
10×add-cbrt-cube add-exp-log
7×distribute-lft-out-- difference-of-squares
5×pow1 associate-/l* add-log-exp
3×expm1-log1p-u associate-/r* associate-*r* insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log fma-def frac-2neg flip3-+ flip3-- div-sub pow-prod-down associate-*l/ *-commutative flip-+ flip--
Counts
3 → 97
Calls
3 calls:
29.0ms
(/ (- t z) a)
21.0ms
(+ (* (/ (- t z) a) y) x)
29.0ms
(* (/ (- t z) a) y)

series182.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(/ (- t z) a)
82.0ms
(+ (* (/ (- t z) a) y) x)
52.0ms
(* (/ (- t z) a) y)

simplify3.1s

Counts
106 → 106
Iterations
IterNodes
done5000
34595
21091
1373
0150

prune600.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (- t z) (/ y a)) x)
6.6b
(* (- t z) (/ y a))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
5×associate-*l*
4×pow1 add-log-exp
2×expm1-log1p-u frac-times flip3-- associate-*l/ prod-exp cbrt-unprod insert-posit16 log1p-expm1-u flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log fma-def flip3-+ div-exp pow-prod-down associate-*r/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 56
Calls
2 calls:
32.0ms
(+ (* (- t z) (/ y a)) x)
28.0ms
(* (- t z) (/ y a))

series184.0ms

Counts
2 → 6
Calls
2 calls:
98.0ms
(+ (* (- t z) (/ y a)) x)
85.0ms
(* (- t z) (/ y a))

simplify1.5s

Counts
62 → 62
Iterations
IterNodes
done5001
21122
1327
0124

prune409.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (- t z) (* (cbrt (/ y a)) (cbrt (/ y a))))
11.4b
(cbrt (/ y a))
11.4b
(cbrt (/ y a))
11.4b
(cbrt (/ y a))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
29×add-sqr-sqrt
28×*-un-lft-identity
27×times-frac
26×add-cube-cbrt
15×cbrt-div
9×frac-times pow1 add-exp-log
7×add-cbrt-cube
6×associate-*r/
5×associate-*l* associate-*l/
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod div-inv
1×associate-*r* *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 110
Calls
4 calls:
65.0ms
(* (- t z) (* (cbrt (/ y a)) (cbrt (/ y a))))
3.0ms
(cbrt (/ y a))
3.0ms
(cbrt (/ y a))
3.0ms
(cbrt (/ y a))

series514.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(* (- t z) (* (cbrt (/ y a)) (cbrt (/ y a))))
112.0ms
(cbrt (/ y a))
113.0ms
(cbrt (/ y a))
88.0ms
(cbrt (/ y a))

simplify2.7s

Counts
122 → 122
Iterations
IterNodes
done5001
33000
2899
1351
0168

prune727.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes513.0ms

Accuracy

76% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.5b

bsearch85.0ms

Steps
ItersRangePoint
10
6.912781464971578e+43
1.9879377832564225e+54
2.3164280398826682e+52
5
-2300368.468387598
-604941.4146901637
-748199.857216111

simplify3.0ms

Iterations
IterNodes
done22
122
017

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s10652×body80valid