Details

Time bar (total: 30.1s)

sample232.0ms

Algorithm
intervals
Results
94.0ms792×body80nan
22.0ms190×body80valid
18.0ms29×body640valid
8.0ms19×body320valid
5.0ms4×body1280valid
4.0ms15×body160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
64417
51388
4401
3135
257
127
014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.4b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.2b
(* (- x 1.0) (log y))
5.3b
(log (- 1.0 y))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
30×*-un-lft-identity
27×log-prod
20×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in add-log-exp
10×associate-+r+ associate-*l/
9×prod-diff
8×pow1
7×flip3-- add-exp-log flip--
6×associate-+l+ add-cbrt-cube
5×associate-*l* distribute-lft-out-- difference-of-squares
4×expm1-log1p-u associate-*r* frac-add log1p-expm1-u
3×fma-neg
2×log-div sum-log diff-log log-pow
1×+-commutative sub-neg fma-def flip3-+ rem-log-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 113
Calls
4 calls:
39.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
111.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
19.0ms
(* (- x 1.0) (log y))
5.0ms
(log (- 1.0 y))

series614.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
244.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
83.0ms
(* (- x 1.0) (log y))
67.0ms
(log (- 1.0 y))

simplify1.5s

Counts
125 → 125
Iterations
IterNodes
done5000
23293
1767
0281

prune884.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))) t)
0.0b
(* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))
0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)))))
0.2b
(* (- x 1.0) (log y))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
60×*-un-lft-identity
57×prod-diff
51×add-cube-cbrt
40×distribute-rgt-in distribute-lft-in
34×associate-+r+
28×flip3-- flip--
24×log-prod associate-*l/
22×pow1
16×frac-add
14×log-pow
13×associate--l+
12×frac-times
11×add-log-exp
10×associate-*r* associate-*l*
8×add-cbrt-cube add-exp-log
6×associate-+l+ associate-*r/
5×sub-neg distribute-lft-out--
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×fma-neg
2×sum-log diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative fma-def flip3-+ flip-+
Counts
4 → 198
Calls
4 calls:
118.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))) t)
67.0ms
(* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))
43.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)))))
19.0ms
(* (- x 1.0) (log y))

series668.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))) t)
89.0ms
(* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))))
192.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)))))
100.0ms
(* (- x 1.0) (log y))

simplify487.0ms

Counts
210 → 210
Iterations
IterNodes
done5000
11169
0414

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0))) (* (fma (- (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))) 1 (* (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)) 1)) (- z 1.0))) t)
0.0b
(fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0)))
0.2b
(/ y (/ (* 1.0 1.0) y))
0.2b
(* (log y) (- x 1.0))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
45×*-un-lft-identity
41×add-cube-cbrt
33×times-frac
27×prod-diff
15×add-cbrt-cube add-exp-log
11×distribute-rgt-in distribute-lft-in
9×add-log-exp
7×pow1 associate-/r*
5×cbrt-undiv div-exp associate-*r* div-inv
4×expm1-log1p-u associate-*l* log1p-expm1-u
3×sub-neg fma-neg associate-/l*
2×flip3-- diff-log prod-exp associate-*r/ cbrt-unprod flip-- distribute-lft-out-- difference-of-squares
1×clear-num sum-log frac-2neg pow-prod-down associate--l+ associate-/r/ log-pow *-commutative fma-udef unswap-sqr
Counts
4 → 137
Calls
4 calls:
32.0ms
(- (+ (fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0))) (* (fma (- (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))) 1 (* (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)) 1)) (- z 1.0))) t)
0.0ms
(fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0)))
8.0ms
(/ y (/ (* 1.0 1.0) y))
20.0ms
(* (log y) (- x 1.0))

series5.2s

Counts
4 → 12
Calls
4 calls:
4.8s
(- (+ (fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0))) (* (fma (- (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y))) 1 (* (fma (/ (* y y) (* 1.0 1.0)) 1/2 (* 1.0 y)) 1)) (- z 1.0))) t)
285.0ms
(fma (fma (* (cbrt (log 1.0)) (cbrt (log 1.0))) (cbrt (log 1.0)) (- (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0)))) (- z 1.0) (* (log y) (- x 1.0)))
42.0ms
(/ y (/ (* 1.0 1.0) y))
133.0ms
(* (log y) (- x 1.0))

simplify2.2s

Counts
149 → 149
Iterations
IterNodes
done5001
24150
1792
0314

prune1.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t))
0.0b
(+ (* (- x 1.0) (log y)) (fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t)))
0.2b
(/ y (/ (* 1.0 1.0) y))
0.2b
(* (- x 1.0) (log y))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
33×times-frac
30×add-sqr-sqrt
28×*-un-lft-identity
26×add-cube-cbrt
15×add-cbrt-cube add-exp-log
12×log-prod
7×pow1 associate-/r*
6×distribute-rgt-in associate-+l+ distribute-lft-in add-log-exp
5×cbrt-undiv div-exp associate-*l* div-inv
4×expm1-log1p-u associate-*r* log1p-expm1-u
3×associate-/l*
2×associate-*l/ prod-exp cbrt-unprod fma-udef
1×+-commutative associate-+r+ clear-num sum-log fma-def frac-2neg flip3-+ flip3-- pow-prod-down associate-/r/ log-pow *-commutative flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 112
Calls
4 calls:
0.0ms
(fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t))
12.0ms
(+ (* (- x 1.0) (log y)) (fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t)))
8.0ms
(/ y (/ (* 1.0 1.0) y))
19.0ms
(* (- x 1.0) (log y))

series512.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t))
262.0ms
(+ (* (- x 1.0) (log y)) (fma (- z 1.0) (- (log 1.0) (fma (/ y (/ (* 1.0 1.0) y)) 1/2 (* y 1.0))) (- t)))
28.0ms
(/ y (/ (* 1.0 1.0) y))
91.0ms
(* (- x 1.0) (log y))

simplify1.4s

Counts
124 → 124
Iterations
IterNodes
done5000
23162
1619
0237

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes810.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done23
123
020

end0.0ms

sample7.3s

Algorithm
intervals
Results
3.6s23933×body80nan
757.0ms5892×body80valid
401.0ms738×body640valid
315.0ms248×body1280valid
282.0ms697×body320valid
122.0ms453×body160valid