Details

Time bar (total: 53.1s)

sample85.0ms

Algorithm
intervals
Results
16.0ms181×body80valid
9.0ms139×body80nan
9.0ms20×body1280valid
7.0ms22×body640valid
5.0ms21×body320valid
4.0ms13×body640nan
3.0ms7×body1280nan
2.0ms12×body160valid
1.0ms5×body320nan
1.0ms7×body160nan

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
92335
8741
7343
6223
5123
475
341
229
119
09

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.8b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
4.1b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
44×*-un-lft-identity
27×times-frac
16×add-cube-cbrt difference-of-squares
14×distribute-lft-out--
6×log-prod add-exp-log
5×associate-/r* add-cbrt-cube associate-/l* add-log-exp
4×pow1 flip3-- flip--
2×log-div div-sub associate-/r/ associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp rem-log-exp log-pow div-inv associate--r-
Counts
3 → 85
Calls
3 calls:
18.0ms
(/ (- x y) (- 1.0 y))
34.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
46.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series280.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(/ (- x y) (- 1.0 y))
87.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
131.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.2s

Counts
94 → 94
Iterations
IterNodes
done5001
21386
1407
0171

prune532.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
5.2b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
12.9b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
15×*-un-lft-identity
14×cbrt-prod
12×times-frac difference-of-squares
9×log-prod
7×add-cube-cbrt
6×add-log-exp
5×pow1 add-exp-log
4×cbrt-div flip3-- add-cbrt-cube flip-- distribute-lft-out--
2×log-div pow1/3 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 69
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
5.0ms
(cbrt (- 1.0 y))
108.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
101.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series450.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(cbrt (- 1.0 y))
127.0ms
(cbrt (- 1.0 y))
122.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
81.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify3.0s

Counts
81 → 81
Iterations
IterNodes
done5000
34875
21120
1386
0177

prune563.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize104.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
4.1b
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
11.9b
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))
12.3b
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

rewrite642.0ms

Algorithm
rewrite-expression-head
Rules
14×log-prod
12×*-un-lft-identity
10×add-sqr-sqrt pow1
8×log-div add-cube-cbrt
6×add-exp-log log-pow add-log-exp
4×flip3-- add-cbrt-cube associate--l+ flip-- distribute-lft-out--
3×difference-cubes cube-unmult pow3 associate--r+
2×associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r-
1×difference-of-squares
Counts
4 → 70
Calls
4 calls:
223.0ms
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
147.0ms
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
156.0ms
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))
112.0ms
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

series1.7s

Counts
4 → 12
Calls
4 calls:
664.0ms
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
282.0ms
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
489.0ms
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))
296.0ms
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

simplify2.0s

Counts
82 → 82
Iterations
IterNodes
done5000
21779
1481
0188

prune643.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize198.0ms

Local error

Found 4 expressions with local error:

8.0b
(+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))
11.9b
(log (/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))))
12.3b
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
14.5b
(/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0)))))

rewrite18.7s

Algorithm
rewrite-expression-head
Rules
900×associate-*r/
774×frac-times
378×frac-add
330×associate-*l/
256×associate-/r/
193×flip3-+ flip-+
156×log-prod
56×cube-unmult pow3 pow-prod-down
42×times-frac
28×add-sqr-sqrt difference-cubes *-un-lft-identity add-cube-cbrt
10×add-exp-log
7×associate-/l*
6×pow1 add-cbrt-cube add-log-exp
3×log-div associate-/r* rem-log-exp
2×associate-+r+ div-exp log-pow div-inv associate-/l/
1×distribute-rgt-in cbrt-undiv +-commutative clear-num sum-log frac-2neg distribute-lft-in flip3-- div-sub flip--
Counts
4 → 491
Calls
4 calls:
1.0s
(+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))
4.4s
(log (/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))))
67.0ms
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
13.2s
(/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0)))))

series9.2s

Counts
4 → 12
Calls
4 calls:
1.2s
(+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))
5.9s
(log (/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))))
239.0ms
(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
1.8s
(/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0)))))

simplify4.2s

Counts
503 → 503
Iterations
IterNodes
done5000
13329
0953

prune4.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes432.0ms

Accuracy

99.7% (0.0b remaining)

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

bsearch285.0ms

Steps
ItersRangePoint
9
4.1819179431656604e+33
3.2114885368746137e+40
4.2398846312504237e+33
10
-10742594942270654.0
-1681668.2362726207
-60638491.817888685

simplify15.0ms

Iterations
IterNodes
done30
130
025

end0.0ms

sample2.6s

Algorithm
intervals
Results
568.0ms375×body640nan
415.0ms5687×body80valid
333.0ms3842×body80nan
310.0ms786×body1280valid
259.0ms818×body640valid
102.0ms344×body1280nan
83.0ms467×body320valid
63.0ms242×body160valid
38.0ms248×body320nan
17.0ms126×body160nan