Details

Time bar (total: 1.5m)

sample259.0ms

Algorithm
intervals
Results
77.0ms756×body80nan
62.0ms19×body1280valid
21.0ms179×body80valid
17.0ms26×body640valid
6.0ms15×body320valid
4.0ms17×body160valid

simplify22.7s

Counts
1 → 1
Iterations
IterNodes
done5000
1024994
1014950
1004904
994858
984810
974763
964717
954671
944625
934578
924530
914484
904438
894394
884348
874302
864254
854207
844161
834115
824069
814022
803974
793928
783882
773838
763792
753746
743698
733651
723605
713559
703513
693466
683418
673372
663326
653282
643236
633190
623142
613095
603049
593003
582957
572910
562862
552816
542770
532726
522680
512634
502586
492539
482493
472447
462401
452354
442306
432260
422214
412170
402124
392078
382030
371983
361937
351891
341845
331798
321750
311704
301658
291614
281568
271522
261474
251427
241381
231335
221289
211242
201194
191148
181102
171060
161014
15965
14919
13873
12827
11730
10460
9300
8205
7133
691
569
456
351
238
122
012

prune151.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.0b

localize92.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (log (- 1.0 y)) z)
0.1b
(fma (log y) x (- (* (log (- 1.0 y)) z) t))
6.6b
(log (- 1.0 y))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity
7×pow1
6×add-exp-log add-cube-cbrt
5×log-prod add-cbrt-cube
4×associate-*l*
3×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
2×log-div log-pow
1×flip3-- rem-log-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 49
Calls
3 calls:
44.0ms
(* (log (- 1.0 y)) z)
1.0ms
(fma (log y) x (- (* (log (- 1.0 y)) z) t))
37.0ms
(log (- 1.0 y))

series1.6s

Counts
3 → 9
Calls
3 calls:
503.0ms
(* (log (- 1.0 y)) z)
796.0ms
(fma (log y) x (- (* (log (- 1.0 y)) z) t))
335.0ms
(log (- 1.0 y))

simplify11.6s

Counts
58 → 58
Iterations
IterNodes
done5000
32160
2795
1323
0139

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize410.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)
0.0b
(* z (* y (+ 1.0 (* y 0.5))))
0.0b
(* y (+ 1.0 (* y 0.5)))
0.1b
(fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
11×pow1 add-exp-log add-cbrt-cube
10×prod-diff
9×add-log-exp
6×associate-*r/ associate-*l*
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
3×fma-neg diff-log associate--l+
2×sub-neg flip3-+ *-commutative flip-+
1×associate--l- flip3-- flip-- fma-udef distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 93
Calls
4 calls:
202.0ms
(- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)
63.0ms
(* z (* y (+ 1.0 (* y 0.5))))
44.0ms
(* y (+ 1.0 (* y 0.5)))
5.0ms
(fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))

series1.9s

Counts
4 → 12
Calls
4 calls:
703.0ms
(- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)
169.0ms
(* z (* y (+ 1.0 (* y 0.5))))
342.0ms
(* y (+ 1.0 (* y 0.5)))
694.0ms
(fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))

simplify6.3s

Counts
105 → 105
Iterations
IterNodes
done5005
21783
1461
0175

prune2.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize164.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))) (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
23.0ms
(* (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))) (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

series4.3s

Counts
4 → 12
Calls
4 calls:
1.3s
(* (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))) (cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t))))
786.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
1.1s
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
1.2s
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

simplify7.6s

Counts
93 → 93
Iterations
IterNodes
done5000
34059
21204
1439
0176

prune2.6s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize740.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
0.6b
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
2.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

series2.8s

Counts
4 → 12
Calls
4 calls:
1.1s
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
594.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
582.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))
546.0ms
(cbrt (fma (log y) x (- (- (* (log 1.0) z) (* z (* y (+ 1.0 (* y 0.5))))) t)))

simplify4.1s

Counts
64 → 64
Iterations
IterNodes
done5013
31968
2603
1232
098

prune1.9s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.1b

regimes1.5s

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch1.0ms

simplify13.0ms

Iterations
IterNodes
done21
121
016

end1.0ms

sample14.3s

Algorithm
intervals
Results
8.4s23973×body80nan
1.0s5483×body80valid
934.0ms440×body1280valid
867.0ms894×body640valid
514.0ms500×body160valid
467.0ms724×body320valid