Details

Time bar (total: 21.8s)

sample58.0ms

Algorithm
intervals
Results
26.0ms366×body80valid

simplify7.3s

Counts
1 → 1
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
01115
12613
28110
32419
45459
59819
613579
718519
822479
923589
done23589

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- d2 d3) d4)
0.0b
(* d1 (- (+ (- d2 d3) d4) d1))

rewrite557.0ms

Algorithm
rewrite-expression-head
Rules
73×*-un-lft-identity
39×prod-diff
33×add-sqr-sqrt
27×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
16×distribute-lft-out
12×distribute-lft-out--
11×associate-+l+
7×associate-*r* add-log-exp
5×fma-def
4×pow1 add-exp-log add-cbrt-cube
3×sub-neg associate-*l*
2×expm1-log1p-u associate-*r/ associate--l+ sum-log log1p-expm1-u difference-of-squares
1×+-commutative associate-+l- flip3-- flip3-+ diff-log pow-prod-down prod-exp *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
2 → 95
Calls
2 calls:
37.0ms
(+ (- d2 d3) d4)
515.0ms
(* d1 (- (+ (- d2 d3) d4) d1))

series104.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(+ (- d2 d3) d4)
74.0ms
(* d1 (- (+ (- d2 d3) d4) d1))

simplify1.1s

Counts
101 → 101
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01561671
13221340
28871076
done50001000

prune197.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- d2 d3) d4)
0.0b
(* d1 (+ (- d2 d3) d4))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
15×add-sqr-sqrt
11×add-cube-cbrt associate-+l+
9×prod-diff
7×add-log-exp
5×fma-def associate-*r*
4×pow1 add-exp-log add-cbrt-cube distribute-lft-out
3×associate-*l* distribute-lft-out--
2×expm1-log1p-u flip3-+ associate-*r/ sum-log flip-+ log1p-expm1-u
1×+-commutative distribute-rgt-in associate-+l- sub-neg distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
2 → 59
Calls
2 calls:
41.0ms
(+ (- d2 d3) d4)
107.0ms
(* d1 (+ (- d2 d3) d4))

series76.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(+ (- d2 d3) d4)
56.0ms
(* d1 (+ (- d2 d3) d4))

simplify2.4s

Counts
65 → 65
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
089559
1214512
2688420
33931418
done5000418

prune196.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (- d2 d3) d4))
0.0b
(sqrt (+ (- d2 d3) d4))
0.1b
(* d1 (sqrt (+ (- d2 d3) d4)))
0.2b
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
21×add-sqr-sqrt sqrt-prod
18×sqrt-div
16×associate-*r*
13×pow1
11×add-exp-log add-cube-cbrt add-cbrt-cube
10×associate-*r/
9×flip3-+ flip-+
8×distribute-lft-out
4×expm1-log1p-u frac-times associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out-- add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ *-commutative hypot-def unswap-sqr
Counts
4 → 101
Calls
4 calls:
43.0ms
(sqrt (+ (- d2 d3) d4))
36.0ms
(sqrt (+ (- d2 d3) d4))
92.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
187.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

series276.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(sqrt (+ (- d2 d3) d4))
68.0ms
(sqrt (+ (- d2 d3) d4))
104.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
44.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

simplify3.1s

Counts
113 → 113
Iterations

Useful iterations: done (3.1s)

IterNodesCost
01311620
13331293
28931166
332711132
done50011126

prune340.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (+ (- d2 d3) d4)))
0.1b
(* d1 (sqrt (+ (- d2 d3) d4)))
0.2b
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
0.2b
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
114×sqrt-div
46×sqrt-prod
36×associate-*r/
35×*-un-lft-identity flip3-+ flip-+
32×frac-times
30×associate-*r*
22×pow1
21×add-sqr-sqrt
20×add-exp-log add-cbrt-cube
16×associate-*l/
15×add-cube-cbrt
10×pow-prod-down prod-exp cbrt-unprod
8×distribute-lft-out
5×associate-*l*
4×expm1-log1p-u sqrt-pow1 log1p-expm1-u distribute-lft-out-- add-log-exp
3×*-commutative
2×rem-sqrt-square pow1/2 unswap-sqr
Counts
4 → 146
Calls
4 calls:
42.0ms
(sqrt (sqrt (+ (- d2 d3) d4)))
111.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
680.0ms
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
218.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

series588.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(sqrt (sqrt (+ (- d2 d3) d4)))
126.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
52.0ms
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
187.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

simplify1.6s

Counts
158 → 158
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02353996
16143357
218042635
done50002451

prune654.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes101.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11612
done1612

end0.0ms

sample1.6s

Algorithm
intervals
Results
902.0ms11979×body80valid